#!/bin/tcsh
# ...
